απλοποίηση λογικών συναρτήσεων